home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / tex-k / tex-k-archive.past / 1994.11.gz / 1994.11 / 000075_rl@leeor.technion.ac.il_Thu Nov 10 10:25:21 1994.msg < prev    next >
Internet Message Format  |  1994-11-30  |  29KB
  1. Received: from leeor.technion.ac.il by cs.umb.edu with SMTP id AA12648
  2.   (5.65c/IDA-1.4.4 for <tex-k@cs.umb.edu>); Thu, 10 Nov 1994 01:25:56 -0500
  3. Received: (from rl@localhost) by leeor.technion.ac.il (8.6.9/8.6.6) id IAA02448; Thu, 10 Nov 1994 08:25:21 +0200
  4. From: "Zvi Har'El" <rl@leeor.technion.ac.il>
  5. Message-Id: <199411100625.IAA02448@leeor.technion.ac.il>
  6. Subject: Re: TeX--XeT and/or working TIE for C
  7. To: Denis.Roegel@loria.fr (Denis B. Roegel)
  8. Date: Thu, 10 Nov 1994 08:25:21 +0200 (EET)
  9. Cc: tex-k@cs.umb.edu, roegel@lorraine.loria.fr
  10. In-Reply-To: <199411091324.OAA26074@pandore.loria.fr> from "Denis B. Roegel" at Nov 9, 94 02:24:04 pm
  11. Hebrew-Date: 7 Kislev 5755 - dpyz'd elqk f
  12. Reply-To: "Zvi Har'El" <rl@leeor.technion.ac.il>
  13. X-Mailer: ELM [version 2.4 PL23]
  14. Mime-Version: 1.0
  15. Content-Type: text/plain; charset=ISO-8859-8
  16. Content-Transfer-Encoding: 8bit
  17. Content-Length: 27161     
  18.  
  19. On Wed Nov  9 15:24:04 1994, Denis B. Roegel wrote about ``TeX--XeT and/or working TIE for C'':
  20. > 
  21. > 
  22. > Can somebody tell me where I can find a TeX--XeT.ch working
  23. > with web2c, and already incoporating the system changes.
  24. > 
  25. Denis,
  26.  
  27. I have a web2c-6.1 version of tex--xet files tex.ch and tex.web.
  28. I generated them using the web2c-5.851d files from noa.huji.ac.il,
  29. taking into account the changes in web2c from 5.851d to 6.1.
  30. I enclose here unified diffs (genrated by gnu diff -U 1),
  31. so you can generate the files using patch.
  32. If you want the files themselves, let me know and I'll put them in our
  33. public ftp directory so you can fetch them.
  34.  
  35. Zvi.
  36. ================================================================================
  37. --- tex.ch.orig    Mon Jul 25 16:31:38 1994
  38. +++ tex.ch    Mon Jul 25 16:34:00 1994
  39. @@ -610,3 +610,3 @@
  40.  @x
  41. -wterm(banner);
  42. +wterm(TeX_XeT_banner);
  43.  if format_ident=0 then wterm_ln(' (no format preloaded)')
  44. @@ -1095,3 +1095,3 @@
  45.  @x
  46. -begin wlog(banner);
  47. +begin wlog(TeX_XeT_banner);
  48.  slow_print(format_ident); print("  ");
  49. @@ -1981,10 +1981,5 @@
  50.  @x
  51. -This section should be replaced, if necessary, by any special
  52. +The following sections, as recommended, contain the more extensive
  53.  modifications of the program
  54.  that are necessary to make \TeX\ work at a particular installation.
  55. -It is usually best to design your change file so that all changes to
  56. -previous sections preserve the section numbering; then everybody's version
  57. -will be consistent with the published program. More extensive changes,
  58. -which introduce new sections, can be inserted here; then only the index
  59. -itself will get a new section number.
  60.  @^system dependencies@>
  61. --- tex.web.orig    Mon Jul 25 16:31:39 1994
  62. +++ tex.web    Mon Jul 25 18:28:20 1994
  63. @@ -44,2 +44,3 @@
  64.  % Version 3.1415 preserved nonexplicit kerns, tidied up (February 1993).
  65. +%   Later this version has been updated by Uri Feldman, to include TeX--XeT.   
  66.  
  67. @@ -60,2 +61,20 @@
  68.  \let\mc=\ninerm % medium caps for names like SAIL
  69. +\font\revmr=xbmc10 % for right-to-left text
  70. +% to generate xbmc10 (i.e., reflected cmbx10) use a file
  71. +% xbmc10.mf containing:
  72. +%+++++++++++++++++++++++++++++++++++++++++++++++++
  73. +%     if unknown cmbase: input cmbase fi
  74. +%     extra_endchar := extra_endchar &
  75. +%       "currentpicture:=currentpicture " &
  76. +%       "reflectedabout((.5[l,r],0),(.5[l,r],1));";
  77. +%     input cmbx10
  78. +%+++++++++++++++++++++++++++++++++++++++++++++++++
  79. +\ifx\beginL\undefined % this is TeX
  80. +  \def\XeT{X\kern-.125em\lower.5ex\hbox{E}\kern-.1667emT}
  81. +  \def\TeXeT{\TeX-\hbox{\revrm \XeT}}      % for TeX-XeT
  82. +  \def\TeXXeT{\TeX-\hbox{\revrm -\XeT}}    % for TeX--XeT
  83. +\else          % this is TeX--XeT (or TeX-XeT)
  84. +  \def\TeXeT{\TeX-{\revrm\beginR\TeX\endR}}      % for TeX-XeT
  85. +  \def\TeXXeT{\TeX-{\revrm\beginR\TeX-\endR}}    % for TeX--XeT
  86. +\fi
  87.  \def\PASCAL{Pascal}
  88. @@ -124,2 +143,5 @@
  89.  
  90. +@d TeX_XeT_version=='--1.0' {identifies the current TeX--XeT version}
  91. +@d TeX_XeT_copyright=='TeX--XeT Copyright (C) 1992 by Dante e.V.'
  92. +
  93.  @ The present implementation has a long ancestry, beginning in the summer
  94. @@ -177,5 +199,28 @@
  95.  
  96. -If this program is changed, the resulting system should not be called
  97. -`\TeX'; the official name `\TeX' by itself is reserved
  98. -for software systems that are fully compatible with each other.
  99. +
  100. +This program contains code for mixed left-to-right and right-to-left
  101. +typesetting. This code is inspired by but different from \TeXeT\ as
  102. +presented by Donald~E. Knuth and Pierre MacKay in {\sl TUGboat\/}
  103. +@^Knuth, Donald Ervin@>
  104. +@^MacKay, Pierre@>
  105. +{\bf 8}, 14--25, 1987. Since the original program is changed, the
  106. +resulting system is not called `\TeX'; the official name `\TeX' by
  107. +itself is reserved for software systems that are fully compatible with
  108. +each other.
  109. +
  110. +In order to avoid confusion with \TeXeT\ the present implementation of
  111. +mixed direction typesetting is called \TeXXeT. It differs from \TeXeT\
  112. +in several important aspects:
  113. +(1)~Right-to-left text is reversed explicitely by the |ship_out| routine
  114. +and is written to a normal \.{DVI} file without any |begin_reflect| or
  115. +|end_reflect| commands; (2)~a |math_node| is (ab)used instead of a
  116. +|whatsit_node| to record the \.{\\beginL}, \.{\\endL}, \.{\\beginR}, and
  117. +\.{\\endR} text direction primitives in order not to influence the line
  118. +breaking algorithm for pure left-to-right text; (3)~therefore \TeXXeT\
  119. +is designed to be used instead of and not in addition to \TeX\ and
  120. +consequently the pool file name is not changed; (4)~right-to-left text
  121. +interrupted by a displayed equation is automatically resumed after that
  122. +equation; and (5)~the |valign| command code with a non-zero command
  123. +modifier is (ab)used for the text direction primitives.
  124. +
  125.  A special test suite called the ``\.{TRIP} test'' is available for
  126. @@ -183,3 +228,3 @@
  127.  known as `\TeX' [cf.~Stanford Computer Science report CS1027,
  128. -November 1984].
  129. +November 1984]. As a consequence of points~(1) and~(2) above \TeXXeT\
  130.  
  131. @@ -218,2 +263,7 @@
  132.  
  133. +@d TeX_XeT_banner=='This is TeX--XeT',
  134. +   ', Version 3.141' {here we should use a substring of banner}
  135. +   ,TeX_XeT_version {printed when \TeX\ starts}
  136. +
  137. +
  138.  @ The program begins with a normal \PASCAL\ program heading, whose
  139. @@ -1554,3 +1604,3 @@
  140.  @<Initialize the output...@>=
  141. -wterm(banner);
  142. +wterm(TeX_XeT_banner);
  143.  if format_ident=0 then wterm_ln(' (no format preloaded)')
  144. @@ -1558,2 +1608,3 @@
  145.    end;
  146. +wterm_ln(TeX_XeT_copyright); {may be omitted under certain circumstances}
  147.  update_terminal;
  148. @@ -3069,2 +3120,6 @@
  149.  
  150. +In addition a |math_node| with |subtype>after| and |width=0| will be
  151. +(ab)used to record one of the text direction primitives ( \.{\\beginL},
  152. +\.{\\endL}, \.{\\beginR}, \.{\\endR} ).
  153. +
  154.  @d math_node=9 {|type| of a math node}
  155. @@ -3072,2 +3127,13 @@
  156.  @d after=1 {|subtype| for math node that winds up a formula}
  157. +@#
  158. +@d L_code=2
  159. +@d begin_L_code=L_code+before {|subtype| for \.{\\beginL} `math node'}
  160. +@d end_L_code=L_code+after {|subtype| for \.{\\endL} `math node'}
  161. +@d R_code=4
  162. +@d begin_R_code=R_code+before {|subtype| for \.{\\beginR} `math node'}
  163. +@d end_R_code=R_code+after {|subtype| for \.{\\endR} `math node'}
  164. +@#
  165. +@d end_LR(#)==odd(subtype(#))
  166. +@d end_LR_type(#)==(subtype(#)+after-before)
  167. +@d begin_LR_type(#)==(info(#)-after+before)
  168.  
  169. @@ -3544,3 +3610,4 @@
  170.  glue_node: if glue_ptr(p)<>zero_glue then print_char(" ");
  171. -math_node: print_char("$");
  172. +math_node: if subtype(p)>after then print("[]")
  173. +  else print_char("$");
  174.  ligature_node: short_display(lig_ptr(p));
  175. @@ -3809,3 +3876,9 @@
  176.  @ @<Display math node |p|@>=
  177. -begin print_esc("math");
  178. +if subtype(p)>after then
  179. +  begin if odd(subtype(p)) then print_esc("end")
  180. +  else print_esc("begin");
  181. +  if subtype(p)<=end_L_code then print_char("L")
  182. +  else print_char("R");
  183. +  end
  184. +else begin print_esc("math");
  185.  if subtype(p)=before then print("on")
  186. @@ -4089,3 +4162,4 @@
  187.  @d halign=32 {horizontal table alignment ( \.{\\halign} )}
  188. -@d valign=33 {vertical table alignment ( \.{\\valign} )}
  189. +@d valign=33 {vertical table alignment ( \.{\\valign} ) or text
  190. +    direction ( \.{\\beginL}, \.{\\endL}, \.{\\beginR}, \.{\\endR} )}
  191.  @d no_align=34 {temporary escape from alignment ( \.{\\noalign} )}
  192. @@ -4290,2 +4364,4 @@
  193.  In horizontal mode, the |prev_graf| field is used for initial language data.
  194. +A nineth quantity, |LR_save|, holds the LR stack when a paragraph is
  195. +interrupted by a displayed formula.
  196.  
  197. @@ -4305,2 +4381,3 @@
  198.    @!aux_field: memory_word;
  199. +  @!LRs_field: halfword;
  200.    end;
  201. @@ -4317,2 +4394,3 @@
  202.  @d mode_line==cur_list.ml_field {source file line number at beginning of list}
  203. +@d LR_save==cur_list.LRs_field {LR stack when a paragraph is interrupted}
  204.  
  205. @@ -4342,2 +4420,3 @@
  206.  prev_depth:=ignore_depth; mode_line:=0;
  207. +LR_save:=null;
  208.  prev_graf:=0; shown_mode:=0;
  209. @@ -4357,2 +4436,3 @@
  210.  incr(nest_ptr); head:=get_avail; tail:=head; prev_graf:=0; mode_line:=line;
  211. +LR_save:=null;
  212.  end;
  213. @@ -5712,2 +5792,10 @@
  214.  @!@:valign_}{\.{\\valign} primitive@>
  215. +primitive("beginL",valign,begin_L_code);@/
  216. +@!@:beginL_}{\.{\\beginL} primitive@>
  217. +primitive("endL",valign,end_L_code);@/
  218. +@!@:endL_}{\.{\\endL} primitive@>
  219. +primitive("beginR",valign,begin_R_code);@/
  220. +@!@:beginR_}{\.{\\beginR} primitive@>
  221. +primitive("endR",valign,end_R_code);@/
  222. +@!@:endR_}{\.{\\endR} primitive@>
  223.  primitive("vcenter",vcenter,0);@/
  224. @@ -5764,3 +5852,9 @@
  225.  vadjust: print_esc("vadjust");
  226. -valign: print_esc("valign");
  227. +valign: if chr_code<>0 then case chr_code of
  228. +  begin_L_code: print_esc("beginL");
  229. +  end_L_code: print_esc("endL");
  230. +  begin_R_code: print_esc("beginR");
  231. +  othercases print_esc("endR")
  232. +  endcases
  233. +else print_esc("valign");
  234.  vcenter: print_esc("vcenter");
  235. @@ -10322,3 +10416,3 @@
  236.  @ @<Print the banner...@>=
  237. -begin wlog(banner);
  238. +begin wlog(TeX_XeT_banner);
  239.  slow_print(format_ident); print("  ");
  240. @@ -12238,3 +12332,25 @@
  241.  
  242. -@d synch_h==if cur_h<>dvi_h then
  243. +For mixed direction text (\TeXXeT) the current text direction is called
  244. +|cur_dir|. As the box being shipped out will never be used again and
  245. +soon be recycled, we can simply reverse any R-text (i.e., right-to-left)
  246. +segments of hlist nodes as well as complete hlist nodes embedded in such
  247. +segments. Moreover this can be done iteratively rather than recursively.
  248. +There are, however, two complications related to leaders which require
  249. +some additional bookkeeping: (1)~One and the same hlist node might be
  250. +used more than once (but never inside both L- and R-text); and
  251. +(2)~leader boxes inside hlists must be aligned with respect to the left
  252. +edge of the original hlist.
  253. +
  254. +A math node is changed into a kern node whenever the text direction
  255. +remains the same, it is replaced by an |edge_node| if the text direction
  256. +changes; an |hlist_node| inside R-text is changed to an |R_node| once
  257. +its hlist has been reversed.
  258. +@!@^data structure assumptions@>
  259. +
  260. +    @d R_node=unset_node {an |unset_node| does not occur during |ship_out|}
  261. +    @d left_to_right=0
  262. +    @d right_to_left=1
  263. +    @d reflected==1-cur_dir {the opposite of |cur_dir|}
  264. +    @#
  265. +    @d synch_h==if cur_h<>dvi_h then
  266.      begin movement(cur_h-dvi_h,right1); dvi_h:=cur_h;
  267. @@ -12250,2 +12366,4 @@
  268.  @!cur_s:integer; {current depth of output box nesting, initially $-1$}
  269. +@!cur_dir:small_number; {current text direction}
  270. +@!LR_ptr:pointer; {stack of LR codes}
  271.  
  272. @@ -12306,3 +12424,4 @@
  273.  @!outer_doing_leaders:boolean; {were we doing leaders?}
  274. -@!edge:scaled; {left edge of sub-box, or right edge of leader space}
  275. +@!edge:scaled; {right edge of sub-box or leader space}
  276. +@!prev_p:pointer; {one step behind |p|}
  277.  begin this_box:=temp_ptr; g_order:=glue_order(this_box);
  278. @@ -12313,2 +12432,5 @@
  279.  save_loc:=dvi_offset+dvi_ptr; base_line:=cur_v; left_edge:=cur_h;
  280. +prev_p:=this_box+list_offset;
  281. +if cur_dir=right_to_left then if type(this_box)=hlist_node then
  282. +  @<Reverse the complete hlist and change this node into an |R_node|@>;
  283.  while p<>null do @<Output node |p| for |hlist_out| and move to the next node,
  284. @@ -12334,3 +12456,3 @@
  285.    cur_h:=cur_h+char_width(f)(char_info(f)(c));
  286. -  p:=link(p);
  287. +  prev_p:=p; p:=link(p);
  288.    until not is_char_node(p);
  289. @@ -12353,3 +12475,3 @@
  290.  begin case type(p) of
  291. -hlist_node,vlist_node:@<Output a box in an hlist@>;
  292. +hlist_node,vlist_node,R_node:@<Output a box in an hlist@>;
  293.  rule_node: begin rule_ht:=height(p); rule_dp:=depth(p); rule_wd:=width(p);
  294. @@ -12359,4 +12481,10 @@
  295.  glue_node: @<Move right or output leaders@>;
  296. -kern_node,math_node:cur_h:=cur_h+width(p);
  297. +kern_node:cur_h:=cur_h+width(p);
  298. +math_node:
  299. +  begin @<Adjust the LR stack for the |ship_out| routine; if necessary
  300. +    reverse an hlist segment and |goto reswitch||@>;
  301. +  cur_h:=cur_h+width(p);
  302. +  end;
  303.  ligature_node: @<Make node |p| look like a |char_node| and |goto reswitch|@>;
  304. +@<Cases of |hlist_out| that arise in mixed direction text only@>@;
  305.  othercases do_nothing
  306. @@ -12366,3 +12494,3 @@
  307.  move_past: cur_h:=cur_h+rule_wd;
  308. -next_p:p:=link(p);
  309. +next_p:prev_p:=p; p:=link(p);
  310.  end
  311. @@ -12373,6 +12501,7 @@
  312.    cur_v:=base_line+shift_amount(p); {shift the box down}
  313. -  temp_ptr:=p; edge:=cur_h;
  314. +  temp_ptr:=p; edge:=cur_h+width(p);
  315. +  if cur_dir=right_to_left then cur_h:=edge;
  316.    if type(p)=vlist_node then vlist_out@+else hlist_out;
  317.    dvi_h:=save_h; dvi_v:=save_v;
  318. -  cur_h:=edge+width(p); cur_v:=base_line;
  319. +  cur_h:=edge; cur_v:=base_line;
  320.    end
  321. @@ -12416,2 +12545,3 @@
  322.    begin rule_wd:=rule_wd+10; {compensate for floating-point rounding}
  323. +  if cur_dir=right_to_left then cur_h:=cur_h-10;
  324.    edge:=cur_h+rule_wd; lx:=0;
  325. @@ -12422,3 +12552,5 @@
  326.        then advance |cur_h| by |leader_wd+lx|@>;
  327. -  cur_h:=edge-10; goto next_p;
  328. +    if cur_dir=right_to_left then cur_h:=edge
  329. +    else cur_h:=edge-10;
  330. +    goto next_p;
  331.    end;
  332. @@ -12462,2 +12594,3 @@
  333.  synch_h; save_h:=dvi_h; temp_ptr:=leader_box;
  334. +if cur_dir=right_to_left then cur_h:=cur_h+leader_wd;
  335.  outer_doing_leaders:=doing_leaders; doing_leaders:=true;
  336. @@ -12509,3 +12642,3 @@
  337.  begin case type(p) of
  338. -hlist_node,vlist_node:@<Output a box in a vlist@>;
  339. +hlist_node,vlist_node,R_node:@<Output a box in a vlist@>;
  340.  rule_node: begin rule_ht:=height(p); rule_dp:=depth(p); rule_wd:=width(p);
  341. @@ -12531,3 +12664,4 @@
  342.    save_h:=dvi_h; save_v:=dvi_v;
  343. -  cur_h:=left_edge+shift_amount(p); {shift the box right}
  344. +  if cur_dir=right_to_left then cur_h:=left_edge-shift_amount(p)
  345. +  else cur_h:=left_edge+shift_amount(p); {shift the box right}
  346.    temp_ptr:=p;
  347. @@ -12543,3 +12677,6 @@
  348.  if (rule_ht>0)and(rule_wd>0) then {we don't output empty rules}
  349. -  begin synch_h; synch_v;
  350. +  begin if cur_dir=right_to_left then cur_h:=cur_h-rule_wd;
  351. +  synch_h; synch_v;
  352. +  dvi_out(put_rule); dvi_four(rule_ht); dvi_four(rule_wd);
  353. +  cur_h:=left_edge;
  354.    dvi_out(put_rule); dvi_four(rule_ht); dvi_four(rule_wd);
  355. @@ -12640,3 +12777,7 @@
  356.    end;
  357. +cur_dir:=left_to_right; {L-text at the outer level}
  358. +LR_ptr:=get_avail; info(LR_ptr):=before; {this will never match}
  359.  @<Ship box |p| out@>;
  360. +if info(LR_ptr)<>before then LR_confusion;
  361. +free_avail(LR_ptr); LR_ptr:=null;
  362.  if tracing_output<=0 then print_char("]");
  363. @@ -12846,3 +12987,7 @@
  364.  
  365. -@p function hpack(@!p:pointer;@!w:scaled;@!m:small_number):pointer;
  366. +@p function safe_info(@!p:pointer): halfword;
  367. +begin if p=null then safe_info:=0@+else safe_info:=info(p);
  368. +end;
  369. +@#
  370. +function hpack(@!p:pointer;@!w:scaled;@!m:small_number):pointer;
  371.  label reswitch, common_ending, exit;
  372. @@ -12857,3 +13002,6 @@
  373.  @!hd:eight_bits; {height and depth indices for a character}
  374. -begin last_badness:=0; r:=get_node(box_node_size); type(r):=hlist_node;
  375. +@!LR_ptr:pointer; {stack of LR codes}
  376. +@!LR_problems:integer; {counts missing begins and ends}
  377. +begin LR_ptr:=null; LR_problems:=0;
  378. +last_badness:=0; r:=get_node(box_node_size); type(r):=hlist_node;
  379.  subtype(r):=min_quarterword; shift_amount(r):=0;
  380. @@ -12870,3 +13018,4 @@
  381.        for an overfull or underfull hbox@>;
  382. -exit: hpack:=r;
  383. +exit: @<Check for LR anomalies at the end of |hpack|@>;
  384. +hpack:=r;
  385.  end;
  386. @@ -12894,3 +13043,6 @@
  387.    glue_node:@<Incorporate glue into the horizontal totals@>;
  388. -  kern_node,math_node: x:=x+width(p);
  389. +  kern_node,math_node:
  390. +    begin x:=x+width(p);
  391. +    @<Adjust the LR stack for the |hpack| routine@>;
  392. +    end;
  393.    ligature_node: @<Make node |p| look like a |char_node|
  394. @@ -17014,3 +17166,3 @@
  395.  disc_node: @<Try to break after a discretionary fragment, then |goto done5|@>;
  396. -math_node: begin auto_breaking:=(subtype(cur_p)=after); kern_break;
  397. +  math_node: begin auto_breaking:=(subtype(cur_p)<>before); kern_break;
  398.    end;
  399. @@ -17200,3 +17352,5 @@
  400.  @!cur_line: halfword; {the current line number being justified}
  401. -begin @<Reverse the links of the relevant passive nodes, setting |cur_p| to the
  402. +  @!LR_ptr:pointer; {stack of LR codes}
  403. +  begin LR_ptr:=LR_save;
  404. +  @<Reverse the links of the relevant passive nodes, setting |cur_p| to the
  405.    first breakpoint@>;
  406. @@ -17213,3 +17367,3 @@
  407.  @:this can't happen line breaking}{\quad line breaking@>
  408. -prev_graf:=best_line-1;
  409. +prev_graf:=best_line-1; LR_save:=LR_ptr;
  410.  end;
  411. @@ -17243,3 +17397,4 @@
  412.    if type(q)=kern_node then if subtype(q)<>explicit then goto done1;
  413. -  r:=q; {now |type(q)=glue_node|, |kern_node|, |math_node| or |penalty_node|}
  414. +    r:=q; {now |type(q)=glue_node|, |kern_node|, |math_node| or |penalty_node|}
  415. +    @<Adjust the LR stack for the |post_line_break| routine@>;
  416.    end;
  417. @@ -17260,4 +17415,7 @@
  418.  @<Justify the line ending at breakpoint |cur_p|, and append it...@>=
  419. +@<Insert LR nodes at the beginning of the current line and adjust
  420. +  the LR stack based on LR nodes in this line@>;
  421.  @<Modify the end of the line to reflect the nature of the break and to include
  422.    \.{\\rightskip}; also set the proper value of |disc_break|@>;
  423. +@<Insert LR nodes at the end of the current line@>;
  424.  @<Put the \(l)\.{\\leftskip} glue at the left and detach this line@>;
  425. @@ -17283,3 +17441,5 @@
  426.          |disc_break:=true|@>
  427. -    else if (type(q)=math_node)or(type(q)=kern_node) then width(q):=0;
  428. +      else if (type(q)=math_node)or(type(q)=kern_node) then
  429. +        begin width(q):=0; @<Adjust the LR stack for the |p...@>;
  430. +        end;
  431.      end
  432. @@ -21104,2 +21264,5 @@
  433.    else line_break(widow_penalty);
  434. +  if LR_save<>null then
  435. +    begin flush_list(LR_save); LR_save:=null;
  436. +    end;
  437.    normal_paragraph;
  438. @@ -21546,3 +21709,5 @@
  439.  @<Cases of |main_control| that build...@>=
  440. -vmode+halign,hmode+valign:init_align;
  441. +vmode+halign,hmode+valign:
  442. +  if cur_chr>0 then tail_append(new_math(0,cur_chr))
  443. +  else init_align;
  444.  mmode+halign: if privileged then
  445. @@ -24882,11 +25047,258 @@
  446.  @* \[54] System-dependent changes.
  447. -This section should be replaced, if necessary, by any special
  448. +The following sections, as recommended, contain the more extensive
  449.  modifications of the program
  450.  that are necessary to make \TeX\ work at a particular installation.
  451. -It is usually best to design your change file so that all changes to
  452. -previous sections preserve the section numbering; then everybody's version
  453. -will be consistent with the published program. More extensive changes,
  454. -which introduce new sections, can be inserted here; then only the index
  455. -itself will get a new section number.
  456.  @^system dependencies@>
  457. +
  458. +@ Insert system dependent changes here.
  459. +
  460. +@ Last not least we do the main work required for mixed-direction texts.
  461. +A number of routines are based on a stack of one-word nodes whose |info|
  462. +fields contain |after|, |end_L_code|, or |end_R_code|. The top of the
  463. +stack is pointed to by |LR_ptr|.
  464. +
  465. +When the stack_manipulation macros of this section are used below,
  466. +variable |LR_ptr| might be the global variable declared for |ship_out|,
  467. +or might be local to |hpack| or |post_line_break|.
  468. +
  469. +@d push_LR(#)==begin temp_ptr:=get_avail; info(temp_ptr):=end_LR_type(#);
  470. +  link(temp_ptr):=LR_ptr; LR_ptr:=temp_ptr;
  471. +  end
  472. +@d pop_LR==begin temp_ptr:=LR_ptr; LR_ptr:=link(temp_ptr);
  473. +  free_avail(temp_ptr);
  474. +  end
  475. +
  476. +@<Insert LR nodes at the beg...@>=
  477. +q:=link(temp_head);
  478. +if LR_ptr<>null then
  479. +  begin temp_ptr:=LR_ptr; r:=q;
  480. +  repeat s:=new_math(0,begin_LR_type(temp_ptr)); link(s):=r; r:=s;
  481. +  temp_ptr:=link(temp_ptr);
  482. +  until temp_ptr=null;
  483. +  link(temp_head):=r;
  484. +  end;
  485. +while q<>cur_break(cur_p) do
  486. +  begin if not is_char_node(q) then @<Adjust the LR stack for the |p...@>;
  487. +  q:=link(q);
  488. +  end
  489. +
  490. +@ @<Adjust the LR stack for the |p...@>=
  491. +if type(q)=math_node then
  492. +  if end_LR(q) then
  493. +    begin if LR_ptr<>null then if info(LR_ptr)=subtype(q) then pop_LR;
  494. +    end
  495. +  else push_LR(q)
  496. +
  497. +@ We use the fact that |q| now points to the node with \.{\\rightskip} glue.
  498. +
  499. +@<Insert LR nodes at the end...@>=
  500. +if LR_ptr<>null then
  501. +  begin s:=temp_head; r:=link(s);
  502. +  while r<>q do
  503. +    begin s:=r; r:=link(s);
  504. +    end;
  505. +  r:=LR_ptr;
  506. +  while r<>null do
  507. +    begin temp_ptr:=new_math(0,info(r));
  508. +    link(s):=temp_ptr; s:=temp_ptr; r:=link(r);
  509. +    end;
  510. +  link(s):=q;
  511. +  end
  512. +
  513. +@ @<Adjust the LR stack for the |h...@>=
  514. +if type(p)=math_node then
  515. +  if end_LR(p) then
  516. +    if safe_info(LR_ptr)=subtype(p) then pop_LR
  517. +    else  begin incr(LR_problems);
  518. +      while link(q)<>p do q:=link(q);
  519. +      link(q):=link(p); free_node(p,small_node_size); p:=q;
  520. +      end
  521. +  else push_LR(p)
  522. +
  523. +@ @<Check for LR anomalies at the end of |h...@>=
  524. +if LR_ptr<>null then
  525. +  begin while link(q)<>null do q:=link(q);
  526. +  repeat temp_ptr:=q; q:=new_math(0,info(LR_ptr)); link(temp_ptr):=q;
  527. +  LR_problems:=LR_problems+10000; pop_LR;
  528. +  until LR_ptr=null;
  529. +  end;
  530. +if LR_problems>0 then
  531. +  begin print_ln; print_nl("\endL or \endR problem (");@/
  532. +  print_int(LR_problems div 10000); print(" missing, ");@/
  533. +  print_int(LR_problems mod 10000); print(" extra");@/
  534. +  LR_problems:=0; goto common_ending;
  535. +  end
  536. +
  537. +@ @<Declare procedures needed in |hlist_out|, |vlist_out|@>=
  538. +procedure LR_confusion;
  539. +begin confusion("LR");
  540. +@:this can't happen LR}{\quad LR@>
  541. +end;
  542. +
  543. +@ @d LR_dir(#)==(subtype(#) div 4) {text direction of a `math node'}
  544. +
  545. +@<Adjust the LR stack for the |s...@>=
  546. +if end_LR(p) then
  547. +  begin if info(LR_ptr)<>subtype(p) then LR_confusion;
  548. +  pop_LR; type(p):=kern_node;
  549. +  end
  550. +else  begin push_LR(p); type(p):=kern_node;
  551. +  if LR_dir(p)<>cur_dir then
  552. +    begin @<Reverse an hlist segment containing right-to-left material@>;
  553. +    goto reswitch;
  554. +    end;
  555. +  type(p):=kern_node;
  556. +  end
  557. +
  558. +@ @d edge_node=style_node {a |style_node| does not occur during |ship_out|}
  559. +@d edge_node_size=style_node_size {number of words in an edge node}
  560. +@d edge_dist(#)==depth(#) {new |left_edge| position relative to |cur_h|
  561. +   (after |width| has been taken into account)}
  562. +
  563. +@<Declare procedures needed in |hlist_out|, |vlist_out|@>=
  564. +function new_edge(@!s:small_number;@!w:scaled):pointer;
  565. +  {create an edge node}
  566. +var p:pointer; {the new node}
  567. +begin p:=get_node(edge_node_size); type(p):=edge_node;
  568. +subtype(p):=s; width(p):=w; {the |edge_dist| field will be set later}
  569. +new_edge:=p;
  570. +end;
  571. +
  572. +@ @<Cases of |hlist_out| that arise...@>=
  573. +edge_node: begin cur_h:=cur_h+width(p);
  574. +  left_edge:=cur_h+edge_dist(p); cur_dir:=subtype(p);
  575. +  end;
  576. +
  577. +@ We detach the hlist, start a new one consisting of just one kern node,
  578. +append the reversed list, and set the width of the kern node.
  579. +
  580. +@<Reverse the complete hlist...@>=
  581. +begin save_h:=cur_h; temp_ptr:=p; p:=new_kern(0); link(prev_p):=p;
  582. +cur_h:=0; link(p):=reverse(this_box,null); width(p):=-cur_h;
  583. +cur_h:=save_h; type(this_box):=R_node;
  584. +end
  585. +
  586. +@ We detach the remainder of the hlist, replace the math node by
  587. +an edge node, and append the reversed hlist segment to it; the tail of
  588. +the reversed segment is another edge node and the remainder of the
  589. +original list is attached to it.
  590. +
  591. +@<Reverse an hlist segment...@>=
  592. +begin save_h:=cur_h; temp_ptr:=link(p); rule_wd:=width(p);
  593. +free_node(p,small_node_size);
  594. +cur_dir:=reflected; p:=new_edge(cur_dir,rule_wd); link(prev_p):=p;
  595. +cur_h:=cur_h-left_edge+rule_wd;
  596. +link(p):=reverse(this_box,new_edge(reflected,0));
  597. +edge_dist(p):=cur_h; cur_dir:=reflected; cur_h:=save_h;
  598. +end
  599. +
  600. +@ The |reverse| function defined here is responsible to reverse the
  601. +nodes of an hlist (segment). The first parameter |this_box| is the
  602. +enclosing hlist node, the second parameter |t| is to become the tail of
  603. +the reversed list, and the global variable |temp_ptr| is the head of the
  604. +list to be reversed. We remove nodes from the original list and add them
  605. +to the head of the new one.
  606. +
  607. +@<Declare procedures needed in |hlist_out|, |vlist_out|@>=
  608. +function reverse(@!this_box,@!t:pointer):pointer;
  609. +label reswitch, next_p, done;
  610. +var l:pointer; {the new list}
  611. +@!p:pointer; {the current node}
  612. +@!q:pointer; {the next node}
  613. +@!g_order: glue_ord; {applicable order of infinity for glue}
  614. +@!g_sign: normal..shrinking; {selects type of glue}
  615. +@!m,@!n:halfword; {number of unmatched math nodes}
  616. +begin g_order:=glue_order(this_box); g_sign:=glue_sign(this_box);
  617. +l:=t; p:=temp_ptr; m:=min_halfword; n:=min_halfword;
  618. +while p<>null do @<Move node |p| to the new list and go to the next node;
  619. +  or |goto done| if the end of the reflected segment has been reached@>;
  620. +if (t<>null)or(m<>min_halfword)or(n<>min_halfword) then LR_confusion;
  621. +done:reverse:=l;
  622. +end;
  623. +
  624. +@ @<Move node |p| to the new list...@>=
  625. +reswitch: if is_char_node(p) then
  626. +  repeat f:=font(p); c:=character(p);
  627. +  cur_h:=cur_h+char_width(f)(char_info(f)(c));
  628. +  q:=link(p); link(p):=l; l:=p; p:=q;
  629. +  until not is_char_node(p)
  630. +else @<Move the non-|char_node| |p| to the new list@>
  631. +
  632. +@ @<Move the non-|char_node| |p| to the new list@>=
  633. +begin q:=link(p); rule_wd:=width(p); {the width is needed in most cases}
  634. +case type(p) of
  635. +hlist_node,vlist_node,rule_node,kern_node: do_nothing;
  636. +@t\4@>@<Cases of |reverse| that need special treatment@>@;
  637. +R_node,edge_node: LR_confusion;
  638. +othercases goto next_p
  639. +endcases;@/
  640. +cur_h:=cur_h+rule_wd;
  641. +next_p: if (type(p)=kern_node)and((rule_wd=0)or(l=null)) then
  642. +  free_node(p,small_node_size)
  643. +else  begin link(p):=l; l:=p;
  644. +  end;
  645. +p:=q;
  646. +end
  647. +
  648. +@ In order to avoid the unnecessary repetition of computations we try to
  649. +replace glue nodes by equivalent kern or rule nodes.
  650. +
  651. +@<Cases of |reverse|...@>=
  652. +glue_node: begin g:=glue_ptr(p); rule_wd:=width(g);
  653. +if g_sign<>normal then
  654. +  begin if g_sign=stretching then
  655. +    begin if stretch_order(g)=g_order then
  656. +      rule_wd:=rule_wd+round(float(glue_set(this_box))*stretch(g));
  657. +@^real multiplication@>
  658. +    end
  659. +  else  begin if shrink_order(g)=g_order then
  660. +      rule_wd:=rule_wd-round(float(glue_set(this_box))*shrink(g));
  661. +    end;
  662. +  end;
  663. +temp_ptr:=leader_ptr(p);
  664. +if temp_ptr=null then
  665. +  begin delete_glue_ref(g); type(p):=kern_node; width(p):=rule_wd;
  666. +  end
  667. +else if type(temp_ptr)=rule_node then
  668. +  begin delete_glue_ref(g); free_node(p,small_node_size);
  669. +  p:=temp_ptr; width(p):=rule_wd;
  670. +  end;
  671. +end;
  672. +
  673. +@ A ligature node is replaced by a char node.
  674. +
  675. +@<Cases of |reverse|...@>=
  676. +ligature_node: begin flush_node_list(lig_ptr(p));
  677. +temp_ptr:=p; p:=get_avail; mem[p]:=mem[lig_char(temp_ptr)]; link(p):=q;
  678. +free_node(temp_ptr,small_node_size); goto reswitch;
  679. +end;
  680. +
  681. +@ Math nodes in an inner reflected segment are modified, those at the
  682. +outer level are changed into kern nodes.
  683. +
  684. +@<Cases of |reverse|...@>=
  685. +math_node: if end_LR(p) then
  686. + if n>min_halfword then
  687. +  begin decr(n); decr(subtype(p)); {change |after| into |before|}
  688. +  end
  689. + else begin if info(LR_ptr)<>subtype(p) then LR_confusion;
  690. +  pop_LR;
  691. +  if m=min_halfword then @<Finish the reversed list and |goto done|@>;
  692. +  decr(m); type(p):=kern_node;
  693. +  end
  694. +else if (n>min_halfword)or(LR_dir(p)<>cur_dir) then
  695. +  begin incr(n); incr(subtype(p)); {change |before| into |after|}
  696. +  end
  697. + else begin push_LR(p); incr(m); type(p):=kern_node;
  698. +  end;
  699. +
  700. +@ Finally we have found the end of the hlist segment to be reversed; the
  701. +terminating math node is released and the remaining list is attached to
  702. +the edge node at the end of the reversed list.
  703. +
  704. +@<Finish the reversed list and |goto done|@>=
  705. +begin if t=null then LR_confusion; free_node(p,small_node_size);
  706. +link(t):=q; width(t):=rule_wd; edge_dist(t):=-cur_h-rule_wd;
  707. +goto done;
  708. +end
  709.  
  710. -- 
  711. Dr. Zvi Har'El <rl@math.technion.ac.il>                Department of Mathematics
  712. +972-4-294094(Phone)                   Technion - Israel Institute of Technology
  713. +972-4-324654(FAX)                                           Haifa 32000, ISRAEL
  714. ``If you can't say somethin' nice, don't say nothin' at all.'' -- Thumper (1942)